00100	HI
00200	DECTAPE ARRIVED IN ONE PIECE. BRUCE ANDERSON IS ATTEMPTING TO
00300	GET THINGS RUNNING.
00400	I WILL HAVE THE LATEST VERSIONS  OF CONNIVER UP WITHIN A WEEK
00500	WITH DOCUMENTATION,TRACING,BETTER LOSER FEATURES.
00600	I AM GOING TO TRY TO IMPROVE  THE SPEED. THERE ARE A COUPLE OF
00700	OBVIOUS PLACES WHICH COULD BE IMPROVED.
00800	I'D BE INTERESTED IN WHAT'S GOING ON IN YOUR GEOMETRY PROJECTS.
00900	WE HAVE SOME INTERESTING EOMETRY PROBLEMS WE'VE BEEN TRYING
01000	ON THE THEOREM PROVER WITH SOME SUCCESS.
01100			JRA